snippet Idris Gitignore Template
        ### Idris ###
        *.ibc
        *.o
        ${0}
